<HTML><HEAD><TITLE>ECLiPSe Reference Manual</TITLE></HEAD><BODY>[ <A HREF="../index.html">All ECLiPSe Documentation</A> | <A HREF="fullindex.html">Alphabetic Index</A> ]
<H1>ECLiPSe 6.0 Reference Manual</H1><OL>
<LI><A HREF="kernel/index.html"><STRONG>The ECLiPSe Built-In Predicates</STRONG></A>
<LI><A HREF="lib/index.html"><STRONG>The ECLiPSe Libraries</STRONG></A>
<LI><A HREF="lib_public/index.html"><STRONG>Third Party Libraries</STRONG></A>
</OL>
<H2>Built-Ins and Libraries by Categories</H2><DL>
<DT><A HREF="index1.html"><STRONG>Built-In Predicates</STRONG></A></DT><DD>
<A HREF="kernel/allsols/index.html">allsols</A>|
<A HREF="kernel/arithmetic/index.html">arithmetic</A>|
<A HREF="kernel/compiler/index.html">compiler</A>|
<A HREF="kernel/control/index.html">control</A>|
<A HREF="kernel/debug/index.html">debug</A>|
<A HREF="kernel/directives/index.html">directives</A>|
<A HREF="kernel/dynamic/index.html">dynamic</A>|
<A HREF="kernel/env/index.html">env</A>|
<A HREF="kernel/event/index.html">event</A>|
<A HREF="kernel/externals/index.html">externals</A>|
<A HREF="kernel/iochar/index.html">iochar</A>|
<A HREF="kernel/iostream/index.html">iostream</A>|
<A HREF="kernel/ioterm/index.html">ioterm</A>|
<A HREF="kernel/modules/index.html">modules</A>|
<A HREF="kernel/obsolete/index.html">obsolete</A>|
<A HREF="kernel/opsys/index.html">opsys</A>|
<A HREF="kernel/record/index.html">record</A>|
<A HREF="kernel/storage/index.html">storage</A>|
<A HREF="kernel/stratom/index.html">stratom</A>|
<A HREF="kernel/suspensions/index.html">suspensions</A>|
<A HREF="kernel/syntax/index.html">syntax</A>|
<A HREF="kernel/termcomp/index.html">termcomp</A>|
<A HREF="kernel/termmanip/index.html">termmanip</A>|
<A HREF="kernel/typetest/index.html">typetest</A>|
</DD>
<DT><A HREF="index2.html"><STRONG>Algorithms</STRONG></A></DT><DD>
<A HREF="lib_public/all_min_cuts/index.html">all_min_cuts</A>|
<A HREF="lib_public/all_min_cuts_eplex/index.html">all_min_cuts_eplex</A>|
<A HREF="lib/anti_unify/index.html">anti_unify</A>|
<A HREF="lib/apply/index.html">apply</A>|
<A HREF="lib/apply_macros/index.html">apply_macros</A>|
<A HREF="lib/bfs/index.html">bfs</A>|
<A HREF="lib/branch_and_bound/index.html">branch_and_bound</A>|
<A HREF="lib/calendar/index.html">calendar</A>|
<A HREF="lib/changeset/index.html">changeset</A>|
<A HREF="lib/colgen/index.html">colgen</A>|
<A HREF="lib/edge_finder/index.html">edge_finder</A>|
<A HREF="lib/edge_finder3/index.html">edge_finder3</A>|
<A HREF="lib/graph_algorithms/index.html">graph_algorithms</A>|
<A HREF="lib_public/ic_global_gac/index.html">ic_global_gac</A>|
<A HREF="lib_public/max_flow/index.html">max_flow</A>|
<A HREF="lib_public/max_flow_eplex/index.html">max_flow_eplex</A>|
<A HREF="lib/notinstance/index.html">notinstance</A>|
<A HREF="lib/numbervars/index.html">numbervars</A>|
<A HREF="lib/par_util/index.html">par_util</A>|
<A HREF="lib/regex/index.html">regex</A>|
<A HREF="lib/suspend/index.html">suspend</A>|
<A HREF="lib/tentative_constraints/index.html">tentative_constraints</A>|
</DD>
<DT><A HREF="index3.html"><STRONG>Compatibility</STRONG></A></DT><DD>
<A HREF="lib/atts/index.html">atts</A>|
<A HREF="lib/cio/index.html">cio</A>|
<A HREF="lib/conjunto_fd_sets/index.html">conjunto_fd_sets</A>|
<A HREF="lib/cprolog/index.html">cprolog</A>|
<A HREF="lib/fcompile/index.html">fcompile</A>|
<A HREF="lib/foreign/index.html">foreign</A>|
<A HREF="lib/iso/index.html">iso</A>|
<A HREF="lib_public/mercury/index.html">mercury</A>|
<A HREF="lib/multifile/index.html">multifile</A>|
<A HREF="lib/numbervars/index.html">numbervars</A>|
<A HREF="kernel/obsolete/index.html">obsolete</A>|
<A HREF="lib/quintus/index.html">quintus</A>|
<A HREF="lib/sepia/index.html">sepia</A>|
<A HREF="lib/sicstus/index.html">sicstus</A>|
<A HREF="lib/sockets/index.html">sockets</A>|
<A HREF="lib/swi/index.html">swi</A>|
</DD>
<DT><A HREF="index4.html"><STRONG>Constraints</STRONG></A></DT><DD>
<A HREF="lib/bfs/index.html">bfs</A>|
<A HREF="lib_public/cardinal/index.html">cardinal</A>|
<A HREF="lib/changeset/index.html">changeset</A>|
<A HREF="lib/chr/index.html">chr</A>|
<A HREF="lib/colgen/index.html">colgen</A>|
<A HREF="lib/conjunto/index.html">conjunto</A>|
<A HREF="lib/conjunto_fd_sets/index.html">conjunto_fd_sets</A>|
<A HREF="lib/constraint_pools/index.html">constraint_pools</A>|
<A HREF="lib/cumulative/index.html">cumulative</A>|
<A HREF="lib/ech/index.html">ech</A>|
<A HREF="lib/edge_finder/index.html">edge_finder</A>|
<A HREF="lib/edge_finder3/index.html">edge_finder3</A>|
<A HREF="lib/eplex/index.html">eplex</A>|
<A HREF="lib/eplex_cplex/index.html">eplex_cplex</A>|
<A HREF="lib/eplex_osi/index.html">eplex_osi</A>|
<A HREF="lib/eplex_osi_clpcbc/index.html">eplex_osi_clpcbc</A>|
<A HREF="lib/eplex_osi_symclp/index.html">eplex_osi_symclp</A>|
<A HREF="lib/eplex_xpress/index.html">eplex_xpress</A>|
<A HREF="lib/fd/index.html">fd</A>|
<A HREF="lib/fd_global/index.html">fd_global</A>|
<A HREF="lib/fd_sbds/index.html">fd_sbds</A>|
<A HREF="lib/fd_search/index.html">fd_search</A>|
<A HREF="lib/fd_sets/index.html">fd_sets</A>|
<A HREF="lib_public/flatzinc/index.html">flatzinc</A>|
<A HREF="lib_public/fzn_eplex/index.html">fzn_eplex</A>|
<A HREF="lib_public/fzn_fd/index.html">fzn_fd</A>|
<A HREF="lib_public/fzn_ic/index.html">fzn_ic</A>|
<A HREF="lib_public/grasper/index.html">grasper</A>|
<A HREF="lib/ic/index.html">ic</A>|
<A HREF="lib/ic_cumulative/index.html">ic_cumulative</A>|
<A HREF="lib/ic_edge_finder/index.html">ic_edge_finder</A>|
<A HREF="lib/ic_edge_finder3/index.html">ic_edge_finder3</A>|
<A HREF="lib/ic_gap_sbdd/index.html">ic_gap_sbdd</A>|
<A HREF="lib/ic_gap_sbds/index.html">ic_gap_sbds</A>|
<A HREF="lib/ic_global/index.html">ic_global</A>|
<A HREF="lib_public/ic_global_gac/index.html">ic_global_gac</A>|
<A HREF="lib/ic_hybrid_sets/index.html">ic_hybrid_sets</A>|
<A HREF="lib/ic_kernel/index.html">ic_kernel</A>|
<A HREF="lib/ic_make_overlap_bivs/index.html">ic_make_overlap_bivs</A>|
<A HREF="lib/ic_probe/index.html">ic_probe</A>|
<A HREF="lib/ic_probe_search/index.html">ic_probe_search</A>|
<A HREF="lib/ic_probe_support/index.html">ic_probe_support</A>|
<A HREF="lib/ic_probing_for_scheduling/index.html">ic_probing_for_scheduling</A>|
<A HREF="lib/ic_sbds/index.html">ic_sbds</A>|
<A HREF="lib/ic_sets/index.html">ic_sets</A>|
<A HREF="lib/ic_symbolic/index.html">ic_symbolic</A>|
<A HREF="lib/make_overlap_bivs/index.html">make_overlap_bivs</A>|
<A HREF="lib_public/minizinc/index.html">minizinc</A>|
<A HREF="lib/mip/index.html">mip</A>|
<A HREF="lib/probe/index.html">probe</A>|
<A HREF="lib/probe_search/index.html">probe_search</A>|
<A HREF="lib/probe_support/index.html">probe_support</A>|
<A HREF="lib/probing_for_scheduling/index.html">probing_for_scheduling</A>|
<A HREF="lib/propia/index.html">propia</A>|
<A HREF="lib/repair/index.html">repair</A>|
<A HREF="lib/sd/index.html">sd</A>|
<A HREF="lib/shadow_cons/index.html">shadow_cons</A>|
<A HREF="lib/suspend/index.html">suspend</A>|
<A HREF="lib/sym_expr/index.html">sym_expr</A>|
<A HREF="lib/tentative/index.html">tentative</A>|
<A HREF="lib/tentative_constraints/index.html">tentative_constraints</A>|
</DD>
<DT><A HREF="index5.html"><STRONG>Data Structures</STRONG></A></DT><DD>
<A HREF="lib/config_opts/index.html">config_opts</A>|
<A HREF="lib/constraint_pools/index.html">constraint_pools</A>|
<A HREF="lib/graph_algorithms/index.html">graph_algorithms</A>|
<A HREF="lib/hash/index.html">hash</A>|
<A HREF="lib/heaps/index.html">heaps</A>|
<A HREF="lib/linearize/index.html">linearize</A>|
<A HREF="lib/lists/index.html">lists</A>|
<A HREF="lib_public/listut/index.html">listut</A>|
<A HREF="lib_public/m_map/index.html">m_map</A>|
<A HREF="lib_public/m_tree234/index.html">m_tree234</A>|
<A HREF="lib/matrix_util/index.html">matrix_util</A>|
<A HREF="lib/notify_ports/index.html">notify_ports</A>|
<A HREF="lib/ordset/index.html">ordset</A>|
<A HREF="lib/queues/index.html">queues</A>|
<A HREF="kernel/record/index.html">record</A>|
<A HREF="lib/shadow_cons/index.html">shadow_cons</A>|
<A HREF="kernel/storage/index.html">storage</A>|
<A HREF="lib/var_name/index.html">var_name</A>|
</DD>
<DT><A HREF="index6.html"><STRONG>Development Tools</STRONG></A></DT><DD>
<A HREF="lib/asm/index.html">asm</A>|
<A HREF="kernel/compiler/index.html">compiler</A>|
<A HREF="lib/coverage/index.html">coverage</A>|
<A HREF="kernel/debug/index.html">debug</A>|
<A HREF="lib/document/index.html">document</A>|
<A HREF="kernel/env/index.html">env</A>|
<A HREF="lib/fcompile/index.html">fcompile</A>|
<A HREF="lib/instprofile/index.html">instprofile</A>|
<A HREF="lib/instrument/index.html">instrument</A>|
<A HREF="lib/lint/index.html">lint</A>|
<A HREF="lib/lips/index.html">lips</A>|
<A HREF="lib/mode_analyser/index.html">mode_analyser</A>|
<A HREF="lib/port_profiler/index.html">port_profiler</A>|
<A HREF="lib/pretty_print/index.html">pretty_print</A>|
<A HREF="lib/pretty_printer/index.html">pretty_printer</A>|
<A HREF="lib/profile/index.html">profile</A>|
<A HREF="lib/remote_tools/index.html">remote_tools</A>|
<A HREF="lib/source_processor/index.html">source_processor</A>|
<A HREF="lib/spell/index.html">spell</A>|
<A HREF="lib/test_util/index.html">test_util</A>|
<A HREF="lib/time_log/index.html">time_log</A>|
<A HREF="lib/toplevel/index.html">toplevel</A>|
<A HREF="lib/vc_support/index.html">vc_support</A>|
<A HREF="lib/viewable/index.html">viewable</A>|
<A HREF="lib/xref/index.html">xref</A>|
</DD>
<DT><A HREF="index7.html"><STRONG>Interfacing</STRONG></A></DT><DD>
<A HREF="lib/cgi/index.html">cgi</A>|
<A HREF="lib/daVinci/index.html">daVinci</A>|
<A HREF="lib/dbi/index.html">dbi</A>|
<A HREF="lib/eplex/index.html">eplex</A>|
<A HREF="lib/eplex_cplex/index.html">eplex_cplex</A>|
<A HREF="lib/eplex_osi/index.html">eplex_osi</A>|
<A HREF="lib/eplex_osi_clpcbc/index.html">eplex_osi_clpcbc</A>|
<A HREF="lib/eplex_osi_symclp/index.html">eplex_osi_symclp</A>|
<A HREF="lib/eplex_xpress/index.html">eplex_xpress</A>|
<A HREF="kernel/externals/index.html">externals</A>|
<A HREF="lib_public/flatzinc/index.html">flatzinc</A>|
<A HREF="lib_public/flatzinc_parser/index.html">flatzinc_parser</A>|
<A HREF="lib/flexlm/index.html">flexlm</A>|
<A HREF="lib/foreign/index.html">foreign</A>|
<A HREF="lib_public/fzn_eplex/index.html">fzn_eplex</A>|
<A HREF="lib_public/fzn_fd/index.html">fzn_fd</A>|
<A HREF="lib_public/fzn_ic/index.html">fzn_ic</A>|
<A HREF="lib/gap/index.html">gap</A>|
<A HREF="lib/gnuplot/index.html">gnuplot</A>|
<A HREF="lib/graphviz/index.html">graphviz</A>|
<A HREF="lib/http/index.html">http</A>|
<A HREF="lib/http_client/index.html">http_client</A>|
<A HREF="lib/http_server/index.html">http_server</A>|
<A HREF="lib/java_vc/index.html">java_vc</A>|
<A HREF="lib_public/minizinc/index.html">minizinc</A>|
<A HREF="kernel/opsys/index.html">opsys</A>|
<A HREF="lib/tty_vc/index.html">tty_vc</A>|
<A HREF="lib_public/xml/index.html">xml</A>|
</DD>
<DT><A HREF="index8.html"><STRONG>Programming Utilities</STRONG></A></DT><DD>
<A HREF="lib/apply_macros/index.html">apply_macros</A>|
<A HREF="lib/config_opts/index.html">config_opts</A>|
<A HREF="lib/fromonto/index.html">fromonto</A>|
<A HREF="lib/lists/index.html">lists</A>|
<A HREF="lib/matrix_util/index.html">matrix_util</A>|
<A HREF="lib/module_options/index.html">module_options</A>|
<A HREF="lib/regex/index.html">regex</A>|
<A HREF="lib/timeout/index.html">timeout</A>|
<A HREF="lib/util/index.html">util</A>|
</DD>
<DT><A HREF="index9.html"><STRONG>Techniques</STRONG></A></DT><DD>
<A HREF="lib/chr/index.html">chr</A>|
<A HREF="lib/ech/index.html">ech</A>|
<A HREF="lib/ic_make_overlap_bivs/index.html">ic_make_overlap_bivs</A>|
<A HREF="lib/ic_probe/index.html">ic_probe</A>|
<A HREF="lib/ic_probe_search/index.html">ic_probe_search</A>|
<A HREF="lib/ic_probe_support/index.html">ic_probe_support</A>|
<A HREF="lib/ic_probing_for_scheduling/index.html">ic_probing_for_scheduling</A>|
<A HREF="lib/make_overlap_bivs/index.html">make_overlap_bivs</A>|
<A HREF="lib/notify_ports/index.html">notify_ports</A>|
<A HREF="lib/probe/index.html">probe</A>|
<A HREF="lib/probe_search/index.html">probe_search</A>|
<A HREF="lib/probe_support/index.html">probe_support</A>|
<A HREF="lib/probing_for_scheduling/index.html">probing_for_scheduling</A>|
<A HREF="lib/propia/index.html">propia</A>|
<A HREF="lib/repair/index.html">repair</A>|
<A HREF="lib/tentative/index.html">tentative</A>|
<A HREF="lib/tentative_constraints/index.html">tentative_constraints</A>|
</DD>
<DT><A HREF="index10.html"><STRONG>Visualisation</STRONG></A></DT><DD>
<A HREF="lib/daVinci/index.html">daVinci</A>|
<A HREF="lib/gnuplot/index.html">gnuplot</A>|
<A HREF="lib/graphviz/index.html">graphviz</A>|
<A HREF="lib/java_vc/index.html">java_vc</A>|
<A HREF="lib/tty_vc/index.html">tty_vc</A>|
<A HREF="lib/vc_support/index.html">vc_support</A>|
<A HREF="lib/viewable/index.html">viewable</A>|
</DD>
<DT><A HREF="index11.html"><STRONG>Unclassified</STRONG></A></DT><DD>
<A HREF="lib_public/applic/index.html">applic</A>|
<A HREF="lib_public/arrays/index.html">arrays</A>|
<A HREF="lib_public/assoc/index.html">assoc</A>|
<A HREF="lib_public/bags/index.html">bags</A>|
<A HREF="lib_public/between/index.html">between</A>|
<A HREF="lib_public/distfix/index.html">distfix</A>|
<A HREF="lib_public/flat/index.html">flat</A>|
<A HREF="lib_public/graphs/index.html">graphs</A>|
<A HREF="lib_public/intervals/index.html">intervals</A>|
<A HREF="lib_public/logarr/index.html">logarr</A>|
<A HREF="lib_public/map/index.html">map</A>|
<A HREF="lib_public/metutl/index.html">metutl</A>|
<A HREF="lib_public/occur/index.html">occur</A>|
<A HREF="lib_public/order/index.html">order</A>|
<A HREF="lib_public/project/index.html">project</A>|
<A HREF="lib/quintus_util/index.html">quintus_util</A>|
<A HREF="lib_public/random/index.html">random</A>|
<A HREF="lib_public/rdtok/index.html">rdtok</A>|
<A HREF="lib_public/read/index.html">read</A>|
<A HREF="lib/repairfd/index.html">repairfd</A>|
<A HREF="lib_public/struct/index.html">struct</A>|
<A HREF="lib_public/tidy/index.html">tidy</A>|
<A HREF="lib_public/trees/index.html">trees</A>|
</DD>
</DL>
<HR>Generated 2009-05-27 01:25
</BODY></HTML>
